Publications of Sergei SOLOVIEV
Olivier Gasquet, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier, Sergei Soloviev
TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics
Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25
Nadezda Orlova, Sergei Soloviev
Logic and logicians in Russia before 1917: Living in a wider world
Historia Mathematica, 2019, 46, pp.38-55. ⟨10.1016/j.hm.2018.05.002⟩
Sergei Soloviev, Ian Malakhovski
Automorphisms of Types and Their Applications.
Journal of Mathematical Sciences, 2019, 240 (5), pp.692–706. ⟨10.1007/s10958-019-04386-8⟩
Automorphisms of Types in Certain Type Theories and Representation of Finite Groups
Mathematical Structures in Computer Science, 2018, 29 (4), pp.511-551. ⟨10.1017/S0960129518000129⟩
Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context
IfColog Journal of Logics and their Applications (FLAP), 2017, 4 (4), pp.817-840
Studes of Hilbert’s Epsilon Operator in the USSR
IfColog Journal of Logics and their Applications (FLAP), 2017, 4 (2), pp.425-434
Joe Lorkowski, Olga Kosheleva, Vladik Kreinovich, Sergei Soloviev
How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency
Journal of Advanced Computational Intelligence and Intelligent Informatics, 2015, 19 (5), pp.581-584
Sergey Baranov, Sergei Soloviev
Conditionally Reversible Computations and Weak Universality in Category Theory
Journal of Mathematical Sciences, 2014, 200, pp.654-661. ⟨10.1007/s10958-014-1955-3⟩
Sergey Baranov, Sergei Soloviev
Equality in Lambda Calculus, Weak Universality in Category Theory and Reversible Computations.
In : Cahiers de Topologie et Géometrie Différentielle Catégorique, Ed. A. Charles Ehresmann, Amiens – France, Vol. LIV N. 4, pp. 264-291, December 2013.
URL : http://www.irit.fr/~Sergei.Soloviev/guitard_wu1.pdf
BibTeXZhaohui Luo, Sergei Soloviev, Tao Xue
Coercive subtyping: Theory and implementation.
In : Information and Computation, Elsevier, Vol. 223, pp. 18-42, February 2013.
Ralph Matthes, Sergei Soloviev
Preface to the special issue: commutativity of algebraic diagrams
In : Mathematical Structures in Computer Science, Cambridge University Press, Special issue CAMCAD ’09 Commutativity of Algebraic Diagrams, Vol. 22 N. 6, pp. 901-903, December 2012.
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine
In : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Vol. 32, (on line), 2010.
URL : http://journal.ub.tu-berlin.de/eceasst/article/view/511
BibTeXOlga Antonova, Sergei Soloviev
Le test de Turing et la question d’une definition de la realite virtuelle
In : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 5, pp. 50-67, 2008.
Ralph Matthes, Sergei Soloviev
Preface to the special issue: isomorphisms of types and invertibility of lambda terms
In : Mathematical Structures in Computer Science, Cambridge University Press, Special issue Isomorphisms of types and invertibility of lambda terms, Vol. 18, pp. 645-646, August 2008.
Olga Antonova, Sergei Soloviev
Axiomatika i ochevidnost. (Axiomatique et evidence.)Logiko-philosophskie shtudii, 4, Universite d’Etat de St. Petersbourg
In : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 4, pp. 3-11, August 2007.
Laurent Méhats, Sergei Soloviev
Coherence in SMCCs and equivalences on derivations in IMLL with unit
In : Annals of Pure and Applied Logics, Elsevier, Vol. 147 N. 3, pp. 127-179, August 2007.
Laurent Méhats, Sergei Soloviev
Permutability of Inferences and Categorical Equivalence of Derivations in IMLL.
In : Vestnik Tverskogo Gosudarstvennogo Universiteta (Communications de l’université de Tver, Russie), Université de Tver (Russie), Vol. 6, N. 12, pp. 27-44, December 2005.
Foreword
In : Mathematical Structures in Computer Science, Cambridge University Press, Special issue Isomorphism of Types, Vol. 15 N. 5, pp. 821-825, October 2005.
Alexandre Flegontov, Ludmila Fedorchenko, Sergei Soloviev
The use of type theory in symbolic computations. (Russian)
In : Informatica i svyaz (Informatics and communication.), Vol. 1, N. 2003, pp. 68-76, 2003.
Sergei Soloviev, Vladimir Orevkov
On categorical equivalence of Gentzen-style derivations in IMLL
In : Theoretical Computer Science, Elsevier, Vol. 303, pp. 245-260, 2003.
Coercion Completion and Conservativity in Coercive Subtyping
In : Annals of Pure and Applied Logic, Elsevier, Vol. 113 N. 1-3, pp. 297-322, January 2002.
Sergei Soloviev, Giuseppe Longo, Kathleen Milsted
Coherence and Transitivity of Subtyping as Entailment
In : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 4, pp. 493-527, August 2000.
Proof of a conjecture of S. Mac Lane
In : Annals of Pure and Applied Logic, Elsevier, Vol. 90, pp. 101-162, 1997.
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The genericity theorem and the notion of parametricity in the polymorphic lambda-calculus.
In : Theoretical Computer Science, Elsevier, Special issue A collection of contributions in honor of Corrado Bohm, Vol. 121 N. 1-2, pp. 323-349, December 1993.
On the conditions of full coherence in closed categories
In : Journal of Pure and Applied Algebra, Elsevier, Vol. 69 N. 3, pp. 301-329, June 1990.
On natural trasformations of distinguished functors and their superpositions in certain closed categories.
In : Journal of Pure and Applied Algebra, Elsevier, Vol. 47, pp. 181-204, 1987.
The category of finite sets and cartesian closed categories.
In : Journal of Soviet Mathematics, Consultants Bureau , New York, Vol. 22 N. 3, pp. 1387-1400, 1983.
A coherence theorem for canonical morphisms in cartesian closed categories
In : Journal of Soviet Mathematics, Consultants Bureau , New York, Vol. 20, pp. 2263-2279, 1982.
Alexey Slivin, Alexey Agapov, Sylvain Antoine, Anton Baldin, William Beeckman, Dmitry Bobrovskiy, Andrey Butenko, Pavel Chernykh, Alexander Chumakov, Xavier Duveau, Georgii Filatov, Artem Galimov, Igor Glebov, Julien Guerra-Phillips, Patrice Jehanno, Sergey Kolesnikov, Alexander Kubankin, Timur Kulevoy, Arnaud Lancelot, Vladimir Luzanov, Sergey Osipov, Evgeny Serenkov, Konstantin Shipulin, Sergei Soloviev, Evgeny Syresin, Alexander Tikhomirov, Gennady Timoshenko, Yuriy Titarenko, Alexey Tuzikov, Vladislav Tyulkin, Alexey Vorozhtsov
Applied Research Stations and New Beam Transfer Lines at the NICA Accelerator Complex
27th Russian Particle Accelerator Conference (2021), Sep 2021, Alushta, Russia. pp.172-175, ⟨10.18429/JACoW-RuPAC2021-MOPSA29⟩
Érik Martin-Dorel, Sergei Soloviev
Cumulative Effects in Learning
3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Mar 2018, Aussois, France
Dependent Event Types
24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), Jul 2017, London, United Kingdom. pp.216-228, ⟨10.1007/978-3-662-55386-2_15⟩
Érik Martin-Dorel, Sergei Soloviev
A Formal Study of Boolean Games with Random Formulas as Payoff Functions
22nd International Conference on Types for Proofs and Programs (TYPES 2016), May 2016, Novi Sad, Serbia. pp.1-22, ⟨10.4230/LIPIcs.TYPES.2016.14⟩
On Isomorphism of Dependent Products in a Typed Logical Framework
20th International Conference on Types for Proofs and Programs (TYPES 2014), May 2014, Paris, France. pp.274-287, ⟨10.4230/LIPIcs.TYPES.2014.274⟩
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification (regular paper)
In : International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), Barcelone, 19/02/13-21/02/13, Slimane Hammoudi, Luis Ferreira Pires, Joaquim Filipe, Rui Cesar das Neves (Eds.), SciTePress, pp. 62-77, February 2013.
URL : http://www.irit.fr/~Sergei.Soloviev/modelsward3-4.pdf – https://oatao.univ-toulouse.fr/12726/
BibTeXEvgeny Dantsin, Jan-Georg Smaus, Sergei Soloviev
Algorithms in Games Evolving in Time: Winning Strategies Based on Testing Hypotheses
In : Isabelle Users Workshop of the International Conference on Interactive Theorem Proving, Princeton, USA, 12/08/12-12/08/12, Tobias Nipkow, Larry Paulson, Makarius Wenzel (Eds.).
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Graph Transformations, Proofs and Grammars (regular paper)
In : Philosophy, Mathematics, Linguistics: Aspects of Interaction, Saint-Petersbourg, Russie, 22/05/12-25/05/12, Oleg Prozorov (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, pp. 195-204, May 2012.
URL : http://www.irit.fr/~Sergei.Soloviev/soloviev_phml.pdf
BibTeXBertrand Boisvert, Louis Féraud, Sergei Soloviev
Single pushout and lambda-terms for computation in attributed graph rewriting (regular paper)
In : International Seminar "Specification and Verification of Hybrid Systems", Kyiv, Ukraine, 10/10/11-12/10/11, Mykola Nikitchenko (Eds.), Taras Shevchenko National University of Kyiv, pp. 20-34, October 2011.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed lambda-terms in categorical attributed graph rewriting (regular paper)
In : WorKshop on Algebraic Methods in Model-Based Software Engineering @ TOOLS 2011, Zurich, Switzerland, 30/06/11-30/06/11, Vol. 56, Francisco Durand, Vlad Rusu (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), EPTCS, (on line), June 2011.
Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed Lambda Terms in Categorical Graph Rewriting (regular paper)
In : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/11-22/04/11, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, pp. 9-17, April 2011.
Asymmetric Games and Game Semantics: Some Philosophical Consequences. (short paper)
In : International Conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction", Saint-Petersbourg, 20/11/09-22/11/09, Oleg Prozorov (Eds.), Institut Mathématique V.A. Steklov, pp. 188-190, November 2009.
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper)
In : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/09-14/10/09, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, pp. 164-177, 2009.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
Categorical Semantics and Non-Free Categories. (regular paper)
In : European Summer School in Language and Informatics (ESSLI-09) – Workshop Structure and Deduction (SD-09), Bordeaux, 20/07/09-31/07/09, Lutz Srassburger (Eds.), Université de Bordeaux, (electronic medium), 2009.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On Categories of Semimodules over Semirings and Varieties of Closed Categories (regular paper)
In : Polynomial Computer Algebra, St. Petersbourg, 08/04/09-12/04/09, Nicolai Vassiliev (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, pp. 89-95, April 2009.
Maxime Rebout, Louis Féraud, Sergei Soloviev
A Unified Categorical Approach for Attributed Graph Rewriting
In : International Computer Science Symposium in Russia (CSR 2008), Moscou, 07/06/08-12/06/08, Vol. 5010, E. Hirsch, A. Razborov (Eds.), Springer, pp. 398-410, June 2008.
Sergei Soloviev, Olga Antonova
Axiomatics and its Model Interpretation from the Historical Perspective.
In : The Classical Model of Science, Vrije University, Amsterdam, 10/01/07-13/01/07, Vrije Universiteit, pp. 18-19, January 2007.
Freiric Barral, Sergei Soloviev
Inductive Type Schemas as Functors.
In : International Computer Science Symposium in Russia (CSR 2006), St. Petersbourg, 08/06/06-12/06/06, Vol. 3967, Springer, LNCS, pp. 35-45, June 2006.
Olga Antonova, Sergei Soloviev
About Wittgenstein’s mathematical epistemology
In : The International Wittgenstein Symposium, Kirchberg am Wechsel, 06/08/06-12/08/06, Austrian Ludwig Wittgenstein Society (ALWS), pre-proceedings of the 29-th International Wittgenstein Symposium, pp. 15-20, August 2006.
Olga Antonova, Sergei Soloviev
On Historical Roots of Type Theory.
In : Logic Colloquium (LC 2005), Athens, Greece, 28/07/05-03/08/05, Association for Symbolic Logic (ASL), pp. 45-45, 2006.
Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev
A framework for increasing program design reliability
In : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/05-02/12/05, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L’Université Pédagogique d’Etat), pp. 67-70, 2005.
Alexandre Flegontov, Sergei Soloviev
Computer Algebra, Types and Proofs
In : Seventh International Workshop on Computer Algebra in Scientific Computing, St.Petersburg, Russia, 12/07/04-19/07/04, V. G. Ganzha, E. V. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, pp. 155-163, July 2004.
Laurent Méhats, Sergei Soloviev
Equivalence Relations on Derivations and Categorical Models of IMLL
In : Seventh International Workshop on Computer Algebra in Scientific Computing (CASC-2004), St.Petersburg, Russia, 12/07/04-19/07/04, V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, pp. 337-349, July 2004.
David Chemouil, Sergei Soloviev
Remarks on isomorphisms of simple inductive types
In : Mathematics, Logic and Computation, Eindhoven, 04/07/03-05/07/03, Elsevier, Electronic Notes in Theoretical Computer Science 85, 7, pp. 1-19, July 2003.
Abstract URL : http://dx.doi.org/10.1016/S1571-0661(04)80760-6
BibTeXSergei Soloviev, David Chemouil
Some Algebraic Structures in Lambda-Calculus with Inductive Types
In : TYPES, Torino, 30/04/03-04/05/03, Stefano Berardi, Mario Coppo, Ferrucio Damiani (Eds.), Springer, LNCS, Volume 3085/2004, pp. 338-354, April 2003.
Ludmila Fedorchenko, Alexandre Flegontov, Sergei Soloviev
Type theory, computer algebra and computer-assisted proofs. (In Russian.)
In : 8-th St. Petersbourg International Conference “Regional Informatics-2002”, St. Petersbourg, Russie, 26/11/02-28/11/02.
Alexandre Flegontov, Sergei Soloviev
Type Theory in Differential Equations
In : International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT-2002), Moscow, Russia, 24/06/02-28/06/02, Elsevier Science, pp. 649-650, June 2002.
Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak transitivity in coercive subtyping
In : International Workshop, TYPES2002, Berg en Dal, The Netherlands, 24/04/02-28/04/02, Herman Geuvers, Freek Wiedijk (Eds.), Springer, LNCS 2646, pp. 220-239, April 2002.
Sergei Soloviev, Vladimir Orevkov
On Categorical Equivalence of Gentzen-style Derivations in IMLL(extended abstract)
In : International Workshop onLogic and Complexity in Computer Science (LCCS’2001), Paris-12, Creteil, France, 03/09/01-05/09/01, Universite Paris-XII, pp. 223-232, September 2001.
Désenvoûter le numérique
In : Journées PRESCOT, Toulouse, .
Sergei Soloviev, Alex Jones, Zhaohui Luo
Some Algorithmic and Proof-Theoretical Aspects of CoerciveSubtyping.
In : Types for Proofs and Programs. International WorkshopTYPES’ 96, Aussois, France, 15/12/96-19/12/96, Eduardo Gimenez, Chr. Paulin-Mohring (eds), Springer,LNCS 1512 (1998), pp. 173-196, December 1996.
Monoidal and monoidal closed categories
In : Nonabelian Algebraic Topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. Ronald Brown, Philip J. Higgins , Rafael Sivera (Eds.) , European Mathematical Society Publishing House, pp. 608-612, Vol. 15, Tracts in Mathematics, 2011.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On varieties of closed categories and dependency of diagrams of canonical maps.
In : Proofs, Categories and Computations. Essays in Honor of Grigori Mints.. Solomon Feferman, Wilfried Sieg (Eds.) , College Publications, pp. 70-85, 2010.
Freiric Barral, David Chemouil, Sergei Soloviev
Non-standard reductions and categorical models in typed lambda-calculus
In : Logitcheskie Issledovaniya (Logical Investigations). Alexander S. Karpenko (Eds.) , Nauka, pp. 300-315, Vol. 12, Logitcheskie Issledovaniya (Logical Investigations), October 2005.
Bibliothèque universelle et culture de l’ éphèmere.
In : Comprendre les usages de l’Internet. Eric Guichard (Eds.) , Editions rue d’Ulm (ENS), Ecole Normale Supérieure, 45 rue d’Ulm, 75230, Paris, pp. 59-64, June 2001.
Olga Antonova, Sergei Soloviev
La théorie et la pratique de la réalité virtuelle: l’analyse logique et philosophique., Universite d’Etat de St. Petersbourg, August 2008.